; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = lshr i64 %"SymVar_0", 56
  %".5" = trunc i64 %".4" to i8
  %".6" = zext i8 %".5" to i32
  %".7" = zext i32 %".6" to i64
  %".8" = trunc i64 %".7" to i8
  %".9" = zext i8 %".8" to i32
  %".10" = zext i32 %".9" to i64
  %".11" = trunc i64 %".10" to i8
  %".12" = zext i8 %".11" to i32
  %".13" = zext i32 %".12" to i64
  %".14" = trunc i64 %".13" to i32
  %".15" = zext i32 %".14" to i64
  %".16" = trunc i64 %".15" to i32
  %".17" = lshr i64 %"SymVar_0", 48
  %".18" = trunc i64 %".17" to i8
  %".19" = zext i8 %".18" to i32
  %".20" = zext i32 %".19" to i64
  %".21" = trunc i64 %".20" to i8
  %".22" = zext i8 %".21" to i32
  %".23" = zext i32 %".22" to i64
  %".24" = trunc i64 %".23" to i8
  %".25" = zext i8 %".24" to i32
  %".26" = zext i32 %".25" to i64
  %".27" = trunc i64 %".26" to i32
  %".28" = zext i32 %".27" to i64
  %".29" = trunc i64 %".28" to i32
  %".30" = lshr i64 %"SymVar_0", 40
  %".31" = trunc i64 %".30" to i8
  %".32" = zext i8 %".31" to i32
  %".33" = zext i32 %".32" to i64
  %".34" = trunc i64 %".33" to i8
  %".35" = zext i8 %".34" to i32
  %".36" = zext i32 %".35" to i64
  %".37" = trunc i64 %".36" to i8
  %".38" = zext i8 %".37" to i32
  %".39" = zext i32 %".38" to i64
  %".40" = trunc i64 %".39" to i32
  %".41" = zext i32 %".40" to i64
  %".42" = trunc i64 %".41" to i32
  %".43" = lshr i64 %"SymVar_0", 32
  %".44" = trunc i64 %".43" to i8
  %".45" = zext i8 %".44" to i32
  %".46" = zext i32 %".45" to i64
  %".47" = trunc i64 %".46" to i8
  %".48" = zext i8 %".47" to i32
  %".49" = zext i32 %".48" to i64
  %".50" = trunc i64 %".49" to i8
  %".51" = zext i8 %".50" to i32
  %".52" = zext i32 %".51" to i64
  %".53" = trunc i64 %".52" to i32
  %".54" = zext i32 %".53" to i64
  %".55" = trunc i64 %".54" to i32
  %".56" = lshr i64 %"SymVar_0", 24
  %".57" = trunc i64 %".56" to i8
  %".58" = zext i8 %".57" to i32
  %".59" = zext i32 %".58" to i64
  %".60" = trunc i64 %".59" to i8
  %".61" = zext i8 %".60" to i32
  %".62" = zext i32 %".61" to i64
  %".63" = trunc i64 %".62" to i8
  %".64" = zext i8 %".63" to i32
  %".65" = zext i32 %".64" to i64
  %".66" = trunc i64 %".65" to i32
  %".67" = zext i32 %".66" to i64
  %".68" = trunc i64 %".67" to i32
  %".69" = lshr i64 %"SymVar_0", 16
  %".70" = trunc i64 %".69" to i8
  %".71" = zext i8 %".70" to i32
  %".72" = zext i32 %".71" to i64
  %".73" = trunc i64 %".72" to i8
  %".74" = zext i8 %".73" to i32
  %".75" = zext i32 %".74" to i64
  %".76" = trunc i64 %".75" to i8
  %".77" = zext i8 %".76" to i32
  %".78" = zext i32 %".77" to i64
  %".79" = trunc i64 %".78" to i32
  %".80" = zext i32 %".79" to i64
  %".81" = trunc i64 %".80" to i32
  %".82" = lshr i64 %"SymVar_0", 8
  %".83" = trunc i64 %".82" to i8
  %".84" = zext i8 %".83" to i32
  %".85" = zext i32 %".84" to i64
  %".86" = trunc i64 %".85" to i8
  %".87" = zext i8 %".86" to i32
  %".88" = zext i32 %".87" to i64
  %".89" = trunc i64 %".88" to i8
  %".90" = zext i8 %".89" to i32
  %".91" = zext i32 %".90" to i64
  %".92" = trunc i64 %".91" to i32
  %".93" = zext i32 %".92" to i64
  %".94" = trunc i64 %".93" to i32
  %".95" = trunc i64 %"SymVar_0" to i8
  %".96" = zext i8 %".95" to i32
  %".97" = zext i32 %".96" to i64
  %".98" = trunc i64 %".97" to i8
  %".99" = zext i8 %".98" to i32
  %".100" = zext i32 %".99" to i64
  %".101" = trunc i64 %".100" to i8
  %".102" = zext i8 %".101" to i32
  %".103" = zext i32 %".102" to i64
  %".104" = trunc i64 %".103" to i32
  %".105" = zext i32 %".104" to i64
  %".106" = trunc i64 %".105" to i32
  %".107" = add i32 %".106", 0
  %".108" = zext i32 %".107" to i64
  %".109" = trunc i64 %".108" to i32
  %".110" = zext i32 %".109" to i64
  %".111" = trunc i64 %".110" to i32
  %".112" = zext i32 %".111" to i64
  %".113" = trunc i64 %".112" to i32
  %".114" = zext i32 %".113" to i64
  %".115" = trunc i64 %".114" to i32
  %".116" = zext i8 10 to i32
  %".117" = and i32 %".116", 31
  %".118" = shl i32 %".115", %".117"
  %".119" = zext i32 %".118" to i64
  %".120" = trunc i64 %".119" to i32
  %".121" = zext i32 %".120" to i64
  %".122" = trunc i64 %".121" to i32
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i32
  %".125" = trunc i64 %".110" to i32
  %".126" = zext i32 %".125" to i64
  %".127" = trunc i64 %".126" to i32
  %".128" = zext i32 %".127" to i64
  %".129" = trunc i64 %".128" to i32
  %".130" = add i32 %".124", %".129"
  %".131" = zext i32 %".130" to i64
  %".132" = trunc i64 %".131" to i32
  %".133" = zext i32 %".132" to i64
  %".134" = trunc i64 %".133" to i32
  %".135" = zext i32 %".134" to i64
  %".136" = trunc i64 %".135" to i32
  %".137" = zext i32 %".136" to i64
  %".138" = trunc i64 %".137" to i32
  %".139" = zext i8 6 to i32
  %".140" = and i32 %".139", 31
  %".141" = lshr i32 %".138", %".140"
  %".142" = zext i32 %".141" to i64
  %".143" = trunc i64 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i32
  %".146" = zext i32 %".145" to i64
  %".147" = trunc i64 %".146" to i32
  %".148" = trunc i64 %".133" to i32
  %".149" = zext i32 %".148" to i64
  %".150" = trunc i64 %".149" to i32
  %".151" = zext i32 %".150" to i64
  %".152" = trunc i64 %".151" to i32
  %".153" = xor i32 %".147", %".152"
  %".154" = zext i32 %".153" to i64
  %".155" = trunc i64 %".154" to i32
  %".156" = zext i32 %".155" to i64
  %".157" = trunc i64 %".156" to i32
  %".158" = zext i32 %".157" to i64
  %".159" = trunc i64 %".158" to i32
  %".160" = zext i32 %".159" to i64
  %".161" = trunc i64 %".160" to i32
  %".162" = add i32 %".94", %".161"
  %".163" = zext i32 %".162" to i64
  %".164" = trunc i64 %".163" to i32
  %".165" = zext i32 %".164" to i64
  %".166" = trunc i64 %".165" to i32
  %".167" = zext i32 %".166" to i64
  %".168" = trunc i64 %".167" to i32
  %".169" = zext i32 %".168" to i64
  %".170" = trunc i64 %".169" to i32
  %".171" = zext i8 10 to i32
  %".172" = and i32 %".171", 31
  %".173" = shl i32 %".170", %".172"
  %".174" = zext i32 %".173" to i64
  %".175" = trunc i64 %".174" to i32
  %".176" = zext i32 %".175" to i64
  %".177" = trunc i64 %".176" to i32
  %".178" = zext i32 %".177" to i64
  %".179" = trunc i64 %".178" to i32
  %".180" = trunc i64 %".165" to i32
  %".181" = zext i32 %".180" to i64
  %".182" = trunc i64 %".181" to i32
  %".183" = zext i32 %".182" to i64
  %".184" = trunc i64 %".183" to i32
  %".185" = add i32 %".179", %".184"
  %".186" = zext i32 %".185" to i64
  %".187" = trunc i64 %".186" to i32
  %".188" = zext i32 %".187" to i64
  %".189" = trunc i64 %".188" to i32
  %".190" = zext i32 %".189" to i64
  %".191" = trunc i64 %".190" to i32
  %".192" = zext i32 %".191" to i64
  %".193" = trunc i64 %".192" to i32
  %".194" = zext i8 6 to i32
  %".195" = and i32 %".194", 31
  %".196" = lshr i32 %".193", %".195"
  %".197" = zext i32 %".196" to i64
  %".198" = trunc i64 %".197" to i32
  %".199" = zext i32 %".198" to i64
  %".200" = trunc i64 %".199" to i32
  %".201" = zext i32 %".200" to i64
  %".202" = trunc i64 %".201" to i32
  %".203" = trunc i64 %".188" to i32
  %".204" = zext i32 %".203" to i64
  %".205" = trunc i64 %".204" to i32
  %".206" = zext i32 %".205" to i64
  %".207" = trunc i64 %".206" to i32
  %".208" = xor i32 %".202", %".207"
  %".209" = zext i32 %".208" to i64
  %".210" = trunc i64 %".209" to i32
  %".211" = zext i32 %".210" to i64
  %".212" = trunc i64 %".211" to i32
  %".213" = zext i32 %".212" to i64
  %".214" = trunc i64 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i32
  %".217" = add i32 %".81", %".216"
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i32
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = trunc i64 %".222" to i32
  %".224" = zext i32 %".223" to i64
  %".225" = trunc i64 %".224" to i32
  %".226" = zext i8 10 to i32
  %".227" = and i32 %".226", 31
  %".228" = shl i32 %".225", %".227"
  %".229" = zext i32 %".228" to i64
  %".230" = trunc i64 %".229" to i32
  %".231" = zext i32 %".230" to i64
  %".232" = trunc i64 %".231" to i32
  %".233" = zext i32 %".232" to i64
  %".234" = trunc i64 %".233" to i32
  %".235" = trunc i64 %".220" to i32
  %".236" = zext i32 %".235" to i64
  %".237" = trunc i64 %".236" to i32
  %".238" = zext i32 %".237" to i64
  %".239" = trunc i64 %".238" to i32
  %".240" = add i32 %".234", %".239"
  %".241" = zext i32 %".240" to i64
  %".242" = trunc i64 %".241" to i32
  %".243" = zext i32 %".242" to i64
  %".244" = trunc i64 %".243" to i32
  %".245" = zext i32 %".244" to i64
  %".246" = trunc i64 %".245" to i32
  %".247" = zext i32 %".246" to i64
  %".248" = trunc i64 %".247" to i32
  %".249" = zext i8 6 to i32
  %".250" = and i32 %".249", 31
  %".251" = lshr i32 %".248", %".250"
  %".252" = zext i32 %".251" to i64
  %".253" = trunc i64 %".252" to i32
  %".254" = zext i32 %".253" to i64
  %".255" = trunc i64 %".254" to i32
  %".256" = zext i32 %".255" to i64
  %".257" = trunc i64 %".256" to i32
  %".258" = trunc i64 %".243" to i32
  %".259" = zext i32 %".258" to i64
  %".260" = trunc i64 %".259" to i32
  %".261" = zext i32 %".260" to i64
  %".262" = trunc i64 %".261" to i32
  %".263" = xor i32 %".257", %".262"
  %".264" = zext i32 %".263" to i64
  %".265" = trunc i64 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = trunc i64 %".266" to i32
  %".268" = zext i32 %".267" to i64
  %".269" = trunc i64 %".268" to i32
  %".270" = zext i32 %".269" to i64
  %".271" = trunc i64 %".270" to i32
  %".272" = add i32 %".68", %".271"
  %".273" = zext i32 %".272" to i64
  %".274" = trunc i64 %".273" to i32
  %".275" = zext i32 %".274" to i64
  %".276" = trunc i64 %".275" to i32
  %".277" = zext i32 %".276" to i64
  %".278" = trunc i64 %".277" to i32
  %".279" = zext i32 %".278" to i64
  %".280" = trunc i64 %".279" to i32
  %".281" = zext i8 10 to i32
  %".282" = and i32 %".281", 31
  %".283" = shl i32 %".280", %".282"
  %".284" = zext i32 %".283" to i64
  %".285" = trunc i64 %".284" to i32
  %".286" = zext i32 %".285" to i64
  %".287" = trunc i64 %".286" to i32
  %".288" = zext i32 %".287" to i64
  %".289" = trunc i64 %".288" to i32
  %".290" = trunc i64 %".275" to i32
  %".291" = zext i32 %".290" to i64
  %".292" = trunc i64 %".291" to i32
  %".293" = zext i32 %".292" to i64
  %".294" = trunc i64 %".293" to i32
  %".295" = add i32 %".289", %".294"
  %".296" = zext i32 %".295" to i64
  %".297" = trunc i64 %".296" to i32
  %".298" = zext i32 %".297" to i64
  %".299" = trunc i64 %".298" to i32
  %".300" = zext i32 %".299" to i64
  %".301" = trunc i64 %".300" to i32
  %".302" = zext i32 %".301" to i64
  %".303" = trunc i64 %".302" to i32
  %".304" = zext i8 6 to i32
  %".305" = and i32 %".304", 31
  %".306" = lshr i32 %".303", %".305"
  %".307" = zext i32 %".306" to i64
  %".308" = trunc i64 %".307" to i32
  %".309" = zext i32 %".308" to i64
  %".310" = trunc i64 %".309" to i32
  %".311" = zext i32 %".310" to i64
  %".312" = trunc i64 %".311" to i32
  %".313" = trunc i64 %".298" to i32
  %".314" = zext i32 %".313" to i64
  %".315" = trunc i64 %".314" to i32
  %".316" = zext i32 %".315" to i64
  %".317" = trunc i64 %".316" to i32
  %".318" = xor i32 %".312", %".317"
  %".319" = zext i32 %".318" to i64
  %".320" = trunc i64 %".319" to i32
  %".321" = zext i32 %".320" to i64
  %".322" = trunc i64 %".321" to i32
  %".323" = zext i32 %".322" to i64
  %".324" = trunc i64 %".323" to i32
  %".325" = zext i32 %".324" to i64
  %".326" = trunc i64 %".325" to i32
  %".327" = add i32 %".55", %".326"
  %".328" = zext i32 %".327" to i64
  %".329" = trunc i64 %".328" to i32
  %".330" = zext i32 %".329" to i64
  %".331" = trunc i64 %".330" to i32
  %".332" = zext i32 %".331" to i64
  %".333" = trunc i64 %".332" to i32
  %".334" = zext i32 %".333" to i64
  %".335" = trunc i64 %".334" to i32
  %".336" = zext i8 10 to i32
  %".337" = and i32 %".336", 31
  %".338" = shl i32 %".335", %".337"
  %".339" = zext i32 %".338" to i64
  %".340" = trunc i64 %".339" to i32
  %".341" = zext i32 %".340" to i64
  %".342" = trunc i64 %".341" to i32
  %".343" = zext i32 %".342" to i64
  %".344" = trunc i64 %".343" to i32
  %".345" = trunc i64 %".330" to i32
  %".346" = zext i32 %".345" to i64
  %".347" = trunc i64 %".346" to i32
  %".348" = zext i32 %".347" to i64
  %".349" = trunc i64 %".348" to i32
  %".350" = add i32 %".344", %".349"
  %".351" = zext i32 %".350" to i64
  %".352" = trunc i64 %".351" to i32
  %".353" = zext i32 %".352" to i64
  %".354" = trunc i64 %".353" to i32
  %".355" = zext i32 %".354" to i64
  %".356" = trunc i64 %".355" to i32
  %".357" = zext i32 %".356" to i64
  %".358" = trunc i64 %".357" to i32
  %".359" = zext i8 6 to i32
  %".360" = and i32 %".359", 31
  %".361" = lshr i32 %".358", %".360"
  %".362" = zext i32 %".361" to i64
  %".363" = trunc i64 %".362" to i32
  %".364" = zext i32 %".363" to i64
  %".365" = trunc i64 %".364" to i32
  %".366" = zext i32 %".365" to i64
  %".367" = trunc i64 %".366" to i32
  %".368" = trunc i64 %".353" to i32
  %".369" = zext i32 %".368" to i64
  %".370" = trunc i64 %".369" to i32
  %".371" = zext i32 %".370" to i64
  %".372" = trunc i64 %".371" to i32
  %".373" = xor i32 %".367", %".372"
  %".374" = zext i32 %".373" to i64
  %".375" = trunc i64 %".374" to i32
  %".376" = zext i32 %".375" to i64
  %".377" = trunc i64 %".376" to i32
  %".378" = zext i32 %".377" to i64
  %".379" = trunc i64 %".378" to i32
  %".380" = zext i32 %".379" to i64
  %".381" = trunc i64 %".380" to i32
  %".382" = add i32 %".42", %".381"
  %".383" = zext i32 %".382" to i64
  %".384" = trunc i64 %".383" to i32
  %".385" = zext i32 %".384" to i64
  %".386" = trunc i64 %".385" to i32
  %".387" = zext i32 %".386" to i64
  %".388" = trunc i64 %".387" to i32
  %".389" = zext i32 %".388" to i64
  %".390" = trunc i64 %".389" to i32
  %".391" = zext i8 10 to i32
  %".392" = and i32 %".391", 31
  %".393" = shl i32 %".390", %".392"
  %".394" = zext i32 %".393" to i64
  %".395" = trunc i64 %".394" to i32
  %".396" = zext i32 %".395" to i64
  %".397" = trunc i64 %".396" to i32
  %".398" = zext i32 %".397" to i64
  %".399" = trunc i64 %".398" to i32
  %".400" = trunc i64 %".385" to i32
  %".401" = zext i32 %".400" to i64
  %".402" = trunc i64 %".401" to i32
  %".403" = zext i32 %".402" to i64
  %".404" = trunc i64 %".403" to i32
  %".405" = add i32 %".399", %".404"
  %".406" = zext i32 %".405" to i64
  %".407" = trunc i64 %".406" to i32
  %".408" = zext i32 %".407" to i64
  %".409" = trunc i64 %".408" to i32
  %".410" = zext i32 %".409" to i64
  %".411" = trunc i64 %".410" to i32
  %".412" = zext i32 %".411" to i64
  %".413" = trunc i64 %".412" to i32
  %".414" = zext i8 6 to i32
  %".415" = and i32 %".414", 31
  %".416" = lshr i32 %".413", %".415"
  %".417" = zext i32 %".416" to i64
  %".418" = trunc i64 %".417" to i32
  %".419" = zext i32 %".418" to i64
  %".420" = trunc i64 %".419" to i32
  %".421" = zext i32 %".420" to i64
  %".422" = trunc i64 %".421" to i32
  %".423" = trunc i64 %".408" to i32
  %".424" = zext i32 %".423" to i64
  %".425" = trunc i64 %".424" to i32
  %".426" = zext i32 %".425" to i64
  %".427" = trunc i64 %".426" to i32
  %".428" = xor i32 %".422", %".427"
  %".429" = zext i32 %".428" to i64
  %".430" = trunc i64 %".429" to i32
  %".431" = zext i32 %".430" to i64
  %".432" = trunc i64 %".431" to i32
  %".433" = zext i32 %".432" to i64
  %".434" = trunc i64 %".433" to i32
  %".435" = zext i32 %".434" to i64
  %".436" = trunc i64 %".435" to i32
  %".437" = add i32 %".29", %".436"
  %".438" = zext i32 %".437" to i64
  %".439" = trunc i64 %".438" to i32
  %".440" = zext i32 %".439" to i64
  %".441" = trunc i64 %".440" to i32
  %".442" = zext i32 %".441" to i64
  %".443" = trunc i64 %".442" to i32
  %".444" = zext i32 %".443" to i64
  %".445" = trunc i64 %".444" to i32
  %".446" = zext i8 10 to i32
  %".447" = and i32 %".446", 31
  %".448" = shl i32 %".445", %".447"
  %".449" = zext i32 %".448" to i64
  %".450" = trunc i64 %".449" to i32
  %".451" = zext i32 %".450" to i64
  %".452" = trunc i64 %".451" to i32
  %".453" = zext i32 %".452" to i64
  %".454" = trunc i64 %".453" to i32
  %".455" = trunc i64 %".440" to i32
  %".456" = zext i32 %".455" to i64
  %".457" = trunc i64 %".456" to i32
  %".458" = zext i32 %".457" to i64
  %".459" = trunc i64 %".458" to i32
  %".460" = add i32 %".454", %".459"
  %".461" = zext i32 %".460" to i64
  %".462" = trunc i64 %".461" to i32
  %".463" = zext i32 %".462" to i64
  %".464" = trunc i64 %".463" to i32
  %".465" = zext i32 %".464" to i64
  %".466" = trunc i64 %".465" to i32
  %".467" = zext i32 %".466" to i64
  %".468" = trunc i64 %".467" to i32
  %".469" = zext i8 6 to i32
  %".470" = and i32 %".469", 31
  %".471" = lshr i32 %".468", %".470"
  %".472" = zext i32 %".471" to i64
  %".473" = trunc i64 %".472" to i32
  %".474" = zext i32 %".473" to i64
  %".475" = trunc i64 %".474" to i32
  %".476" = zext i32 %".475" to i64
  %".477" = trunc i64 %".476" to i32
  %".478" = trunc i64 %".463" to i32
  %".479" = zext i32 %".478" to i64
  %".480" = trunc i64 %".479" to i32
  %".481" = zext i32 %".480" to i64
  %".482" = trunc i64 %".481" to i32
  %".483" = xor i32 %".477", %".482"
  %".484" = zext i32 %".483" to i64
  %".485" = trunc i64 %".484" to i32
  %".486" = zext i32 %".485" to i64
  %".487" = trunc i64 %".486" to i32
  %".488" = zext i32 %".487" to i64
  %".489" = trunc i64 %".488" to i32
  %".490" = zext i32 %".489" to i64
  %".491" = trunc i64 %".490" to i32
  %".492" = add i32 %".16", %".491"
  %".493" = zext i32 %".492" to i64
  %".494" = trunc i64 %".493" to i32
  %".495" = zext i32 %".494" to i64
  %".496" = trunc i64 %".495" to i32
  %".497" = zext i32 %".496" to i64
  %".498" = trunc i64 %".497" to i32
  %".499" = zext i32 %".498" to i64
  %".500" = trunc i64 %".499" to i32
  %".501" = zext i8 10 to i32
  %".502" = and i32 %".501", 31
  %".503" = shl i32 %".500", %".502"
  %".504" = zext i32 %".503" to i64
  %".505" = trunc i64 %".504" to i32
  %".506" = zext i32 %".505" to i64
  %".507" = trunc i64 %".506" to i32
  %".508" = zext i32 %".507" to i64
  %".509" = trunc i64 %".508" to i32
  %".510" = trunc i64 %".495" to i32
  %".511" = zext i32 %".510" to i64
  %".512" = trunc i64 %".511" to i32
  %".513" = zext i32 %".512" to i64
  %".514" = trunc i64 %".513" to i32
  %".515" = add i32 %".509", %".514"
  %".516" = zext i32 %".515" to i64
  %".517" = trunc i64 %".516" to i32
  %".518" = zext i32 %".517" to i64
  %".519" = trunc i64 %".518" to i32
  %".520" = zext i32 %".519" to i64
  %".521" = trunc i64 %".520" to i32
  %".522" = zext i32 %".521" to i64
  %".523" = trunc i64 %".522" to i32
  %".524" = zext i8 6 to i32
  %".525" = and i32 %".524", 31
  %".526" = lshr i32 %".523", %".525"
  %".527" = zext i32 %".526" to i64
  %".528" = trunc i64 %".527" to i32
  %".529" = zext i32 %".528" to i64
  %".530" = trunc i64 %".529" to i32
  %".531" = zext i32 %".530" to i64
  %".532" = trunc i64 %".531" to i32
  %".533" = trunc i64 %".518" to i32
  %".534" = zext i32 %".533" to i64
  %".535" = trunc i64 %".534" to i32
  %".536" = zext i32 %".535" to i64
  %".537" = trunc i64 %".536" to i32
  %".538" = xor i32 %".532", %".537"
  %".539" = zext i32 %".538" to i64
  %".540" = trunc i64 %".539" to i32
  %".541" = zext i32 %".540" to i64
  %".542" = trunc i64 %".541" to i32
  %".543" = zext i32 %".542" to i64
  %".544" = trunc i64 %".543" to i32
  %".545" = zext i32 %".544" to i64
  %".546" = trunc i64 %".545" to i32
  %".547" = zext i8 3 to i32
  %".548" = and i32 %".547", 31
  %".549" = shl i32 %".546", %".548"
  %".550" = zext i32 %".549" to i64
  %".551" = trunc i64 %".550" to i32
  %".552" = zext i32 %".551" to i64
  %".553" = trunc i64 %".552" to i32
  %".554" = zext i32 %".553" to i64
  %".555" = trunc i64 %".554" to i32
  %".556" = trunc i64 %".541" to i32
  %".557" = zext i32 %".556" to i64
  %".558" = trunc i64 %".557" to i32
  %".559" = zext i32 %".558" to i64
  %".560" = trunc i64 %".559" to i32
  %".561" = add i32 %".555", %".560"
  %".562" = zext i32 %".561" to i64
  %".563" = trunc i64 %".562" to i32
  %".564" = zext i32 %".563" to i64
  %".565" = trunc i64 %".564" to i32
  %".566" = zext i32 %".565" to i64
  %".567" = trunc i64 %".566" to i32
  %".568" = zext i32 %".567" to i64
  %".569" = trunc i64 %".568" to i32
  %".570" = zext i8 11 to i32
  %".571" = and i32 %".570", 31
  %".572" = lshr i32 %".569", %".571"
  %".573" = zext i32 %".572" to i64
  %".574" = trunc i64 %".573" to i32
  %".575" = zext i32 %".574" to i64
  %".576" = trunc i64 %".575" to i32
  %".577" = zext i32 %".576" to i64
  %".578" = trunc i64 %".577" to i32
  %".579" = trunc i64 %".564" to i32
  %".580" = zext i32 %".579" to i64
  %".581" = trunc i64 %".580" to i32
  %".582" = zext i32 %".581" to i64
  %".583" = trunc i64 %".582" to i32
  %".584" = xor i32 %".578", %".583"
  %".585" = zext i32 %".584" to i64
  %".586" = trunc i64 %".585" to i32
  %".587" = zext i32 %".586" to i64
  %".588" = trunc i64 %".587" to i32
  %".589" = zext i32 %".588" to i64
  %".590" = trunc i64 %".589" to i32
  %".591" = zext i32 %".590" to i64
  %".592" = trunc i64 %".591" to i32
  %".593" = zext i8 15 to i32
  %".594" = and i32 %".593", 31
  %".595" = shl i32 %".592", %".594"
  %".596" = zext i32 %".595" to i64
  %".597" = trunc i64 %".596" to i32
  %".598" = zext i32 %".597" to i64
  %".599" = trunc i64 %".598" to i32
  %".600" = zext i32 %".599" to i64
  %".601" = trunc i64 %".600" to i32
  %".602" = trunc i64 %".587" to i32
  %".603" = zext i32 %".602" to i64
  %".604" = trunc i64 %".603" to i32
  %".605" = zext i32 %".604" to i64
  %".606" = trunc i64 %".605" to i32
  %".607" = add i32 %".601", %".606"
  %".608" = zext i32 %".607" to i64
  %".609" = trunc i64 %".608" to i32
  %".610" = zext i32 %".609" to i64
  %".611" = trunc i64 %".610" to i32
  %".612" = zext i32 %".611" to i64
  %".613" = trunc i64 %".612" to i32
  %".614" = zext i32 %".613" to i64
  %".615" = trunc i64 %".614" to i32
  %".616" = zext i32 %".615" to i64
  %".617" = trunc i64 %".616" to i32
  %".618" = zext i32 %".617" to i64
  %".619" = trunc i64 %".618" to i32
  %".620" = zext i32 %".619" to i64
  ret i64 %".620"
}
